Verification and Validation and Artificial Intelligence
نویسندگان
چکیده
Artificial Intelligence (AI) is useful. AI can deliver more functionality for reduced cost. AI should be used more widely but won’t be unless developers can trust adaptive, nondeterministic, or complex AI systems. Verification and validation is one method used by software analysts to gain that trust. AI systems have features that make them hard to check using conventional V&Vmethods. Nevertheless, as we show in this chapter, there are enough alternative readily-available methods that enable the V&V of AI software.
منابع مشابه
Using Knowledge-based System Techniques in the Protocol Design Process
This paper describes the knowledge-based system techniques, such as program transformation and artificial intelligence techniques, used to design a reliable protocol. Program transformation techniques can be used in deriving protocol specifications. AI techniques, such as search algorithms and theorem proving, can be used to reduce the global space search. AI techniques can also be used to help...
متن کاملLimits to Verification and Validation of Agentic Behavior
Verification and validation of agentic behavior have been suggested as important research priorities in efforts to reduce risks associated with the creation of general artificial intelligence (Russell et al 2015). In this paper we question the appropriateness of using language of certainty with respect to efforts to manage that risk. We begin by establishing a very general formalism to characte...
متن کاملVerification and validation of intelligent systems: Five years of aaai workshops
One of the longest sequences of ongoing workshops at the AAAI (American Association for Artificial Intelligence) meeting has been the “Workshop on Verification, Validation and Testing of Intelligent Systems” (“V&V workshop” or “workshop”). These workshops have been actively attended by a V&V researchers, tool developers, and practitioners. They have played an important role in facilitating comm...
متن کاملValidating Rule-based Algorithms
A rule-based system is a series of if-then statements that utilizes a set of assertions, to which rules are created on how to act upon those assertions. Rule-based systems often construct the basis of software artifacts which can provide answers to problems in place of human experts. Such systems are also referred as expert systems. Rule-based solutions are also widely applied in artificial int...
متن کاملVaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181)
This report documents the program and the outcomes of Dagstuhl Seminar 13181 “VaToMAS – Verification and Testing of Multi-Agent Systems”. Seminar 28. April–03. May, 2013 – www.dagstuhl.de/13181 1998 ACM Subject Classification I.2.11 Distributed Artificial Intelligence, F.3.1 Specifying and Verifying and Reasoning about Programs, I.2.4 Knowledge Representation Formalisms and Methods
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Advances in Computers
دوره 65 شماره
صفحات -
تاریخ انتشار 2005